Graph Transformations for Model-based Testing
نویسندگان
چکیده
Model-based development uses modeling and simulation as essential means for specification, rapid prototyping, design, and realization of embedded systems. The classification-tree method complements model-based development with a formal approach for test case description and automation. This paper shows how “raw” classification trees are transformed into complete classification trees using an extensible tool, the classification-tree transformer (CTT). This tool and its domain specific extensions are generated using the graph rewriting system PROGRES.
منابع مشابه
Towards Testing the Implementation of Graph Transformations
We present a method for testing the implementation of graph transformation specifications focusing on test case generation for graph pattern matching. We propose an extensible fault model for the implementation of transformations based on common programmer faults and the technicalities of graph transformations. We integrate traditional hardware testing (combinational circuits) and software test...
متن کاملOptimizing Model-Based Software Product Line Testing with Graph Transformations
Software Product Lines (SPLs) are increasing in relevance and importance as various domains strive to cope with the challenges of supporting a high degree of variability in modern software systems. Especially the systematic testing of SPLs is non-trivial as a high degree of variability implies a vast number of possible products. As testing every valid product individually quickly becomes infeas...
متن کاملDeriving Software Performance Models from Architectural Patterns by Graph Transformations
The paper proposes a formal approach to building software performance models for distributed and/or concurrent software systems from a description of the system’s architecture by using graph transformations. The performance model is based on the Layered Queueing Network (LQN) formalism, which is an extension of the well-known Queueing Network modelling technique. The transformation from the arc...
متن کاملA New Method for Characterization of Biological Particles in Microscopic Videos: Hypothesis Testing Based on a Combination of Stochastic Modeling and Graph Theory
Introduction Studying motility of biological objects is an important parameter in many biomedical processes. Therefore, automated analyzing methods via microscopic videos are becoming an important step in recent researches. Materials and Methods In the proposed method of this article, a hypothesis testing function is defined to separate biological particles from artifact and noise in captured v...
متن کاملCo-transformation of Graphs and Type Graphs with Application to Model Co-evolution
Meta-modeling has become the key technology to define do– main-specific modeling languages in model-driven engineering. Since do– main-specific modeling languages often change quite frequently, concepts are needed for the coordinated evolution of their meta-models as well as of their models, and possibly other related artifacts. In this paper, we present a new approach to the co-transformation ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002